$\forall$$T$:Type, $P$:($T$$\rightarrow$Prop), $R$:($T$$\rightarrow$$T$$\rightarrow$Prop). $R$ preserves $P$ $\Rightarrow$ $R$$^{\mbox{\scriptsize $\ast$}}$ preserves $P$